Specification under Discussion

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Formal Specification under Fuzziness

Judging the quality of any decision making procedure is a key problem whenever there is no possibility of developing a sequence of experiments allowing some kind of ratio relative to good results. It may be the case that we have only chances for a unique experiment or no similar experiences are available, but it may be also the case that no standard experiment allows the observation of such a g...

متن کامل

Scientific research assessment under discussion.

Editors The San Francisco Declaration on Research Assessment (DORA) was issued on May 16 this year. Initially signed by 155 scientists and 78 scientifi c institutions, it explicitly proposes eliminating the use of the impact factor (IF) in science journals " as a surrogate measure of the quality of individual research articles, to assess an individual scientist's contributions, or in hiring, pr...

متن کامل

Drug shortage registry under discussion.

ciation is negotiating with drug manufacturers, hospital pharmacists and the Canadian Medical Association to create a national reporting system that would track drug shortages. “We still have a long way to go, but the discussions have started,” says Jeff Morrison, director of government relations and public affairs for the Canadian Pharmacists Association. Recent shortages of cancer drugs such ...

متن کامل

Discussion on: "Formal specification method for systems automation"

of system dynamics, whereas the proposed approach does not capture these dynamics well-enough because it simply states the input/output expected modification of system variables (and their invariant properties), defined from an end-user point of view, without any other behavioral details on its realization. Matching these views is not an easy task, because the causality relationship underlying ...

متن کامل

Discussion: Clustering Random Curves Under Spatial Dependence

We discuss the advantages and disadvantages of a functional approach to clustering of spatial-temporal data. This leads us to suggest an alternative methodology which allows cluster memberships to vary over both temporal and spacial domains. One advantage of our approach is that it can easily incorporate time-varying covariates. A fitting algorithm is developed and we provide a simple simulatio...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Annual Meeting of the Berkeley Linguistics Society

سال: 2008

ISSN: 2377-1666,0363-2946

DOI: 10.3765/bls.v34i1.3591